$\forall$$T$:Type, ${\it as}$, ${\it bs}$:$T$ List. (${\it as}$ @ ${\it bs}$) $\in$ $T$ List